how to convert float to int in php